/*
	Edit Plugin
*/
HTMLEdManager.register_plugin ( "edit", 
{
	actions: [
			[ "cut", 	function ( doc ) { doc.execCommand ( "cut", false, null ); }, "cut" ],
			[ "copy", 	function ( doc ) { doc.execCommand ( "copy", false, null ); }, "copy" ],
			[ "paste", 	function ( doc ) { doc.execCommand ( "paste", false, null ); }, "paste" ],
			[ "undo",	function ( doc ) { doc.execCommand ( "undo", false, null ); }, "undo" ],
			[ "redo", 	function ( doc ) { doc.execCommand ( "redo", false, null ); }, "redo" ]
		]
} );
